import edu.gatech.cc.concolic.Concolic;

public class Test {

	public static void main(String[] args) {
		int i = 0;
		i = Concolic.makeSymbolic(i);
		int j = 5;
		j = Concolic.makeSymbolic(j);
		
		if(i < j) {
			System.out.println("success");
		}
		
	}
	
}
